Revisiting the Categorical Approach to Systems
نویسندگان
چکیده
Although the contribution of Category Theory as a mathematical platform for supporting software development, in the wake of Goguen’s approach to General Systems, is now reasonably recognised, accepted and even used, the emergence of new modelling techniques and paradigms associated with the “New-Economy” suggests that the whole approach needs to be revisited. In this paper, we propose some revisions capitalising on the lessons that we have learned in using categorical techniques for formalising recent developments on Software Architectures, Coordination Technologies, and Service-Oriented Software Development in general.
منابع مشابه
Revisiting the Relationship Between Systems of Innovation and Health Systems: A Response to Recent Commentaries
متن کامل
On minimal realization of IF-languages: A categorical approach
he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...
متن کاملL-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS
The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.
متن کاملLivestock Farming Systems and Cattle Production Orientation in Eastern High Plains of Algeria, Cattle Farming System in Algerian Semi-Arid Region
This study was an attempt to devise productive orientations of cattle herds in eastern high plains of Algeria. In this regard, 165 farms randomly identified were investigated. The selection of breeders was based to existence of cattle on the farm, and the farmer proposed to investigation must have at least two cows. The approach taken was to identify all systems adopted by farmers in a region t...
متن کاملCATEGORICAL RELATIONS AMONG MATROIDS, FUZZY MATROIDS AND FUZZIFYING MATROIDS
The aim of this paper is to study the categorical relations betweenmatroids, Goetschel-Voxman’s fuzzy matroids and Shi’s fuzzifying matroids.It is shown that the category of fuzzifying matroids is isomorphic to that ofclosed fuzzy matroids and the latter is concretely coreflective in the categoryof fuzzy matroids. The category of matroids can be embedded in that offuzzifying matroids as a simul...
متن کامل